How diagonals of a rectangle are equal